منابع مشابه
A Graphical Fusion Calculus
We analyze the relationship between Fusion Calculus and graph transformations defined in the Synchronized Hyperedge Replacement (SHR) style. In particular we show that the underlying algebraic structure is the same when the synchronization used in SHR is Milner synchronization. The main difference we see is that Fusion Calculus has an interleaving behaviour while SHR is inherently concurrent. I...
متن کاملA Graphical Multi-stage Calculus
While visual programming languages continue to gain popularity in domains ranging from scientific computing to real-time systems, the wealth of abstraction mechanisms, reasoning principles, and type systems developed over the last thirty years is currently available mainly for textual languages. With the goal of understanding how results in the textual languages can be mapped to the graphical s...
متن کاملD-Fusion: A Distinctive Fusion Calculus
We study the relative expressive power of Fusion and pi-calculus. Fusion is commonly regarded as a generalisation of pi-calculus. Actually, we prove that there is no uniform fully abstract embedding of pi-calculus into Fusion. This fact motivates the introduction of a new calculus, D-Fusion, with two binders, λ and ν. We show that DFusion is strictly more expressive than both pi-calculus and Fu...
متن کاملA new graphical calculus of proofs
We offer a simple graphical representation for proofs of intuitionistic logic, which is inspired by proof nets and interaction nets (two formalisms originating in linear logic). This graphical calculus of proofs inherits good features from each, but is not constrained by them. By the Curry-Howard isomorphism, the representation applies equally to the lambda calculus, offering an alternative dia...
متن کاملA Graphical Calculus for Name Mobility
The design of software systems that include mobility or dynamic reconfiguration of their components is becoming more frequent. Consequently, it is necessary to have the right tools to handle their description at all stages of the development process. More specifically, it is fundamental to be able to cope with these type of requirements also in the design phase. With this in mind and understand...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.08.026